منابع مشابه
Embedding negation as failure into minimal knowledge
Recent studies in nonmonotonic reasoning have shown that many of the best known nonmonotonic logics are based on the same two fundamental principles, i.e. minimal knowledge and negation as failure (or negation by default). In this paper we prove that it is possible to express negation as failure in terms of minimal knowledge. Specifically, we present a polynomial, non-faithful, modular embeddin...
متن کاملInduction of tumor-reactive CTL by C-side chain variants of the CTL epitope HER-2/neu protooncogene (369-377) selected by molecular modeling of the peptide: HLA-A2 complex.
To design side chain variants for modulation of immunogenicity, we modeled the complex of the HLA-A2 molecule with an immunodominant peptide, E75, from the HER-2/neu protooncogene protein recognized by CTL. We identified the side chain orientation of E75. We modified E75 at the central Ser(5) (E75 wild-type), which points upward, by removing successively the HO (variant S5A) and the CH2-OH (var...
متن کاملAsymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic
We analyze the asymptotic conditional validity of modal formulas, i.e., the probability that a formula ψ is valid in the finite Kripke structures in which a given modal formula φ is valid, when the size of these Kripke structures grows to infinity. We characterize the formulas ψ that are almost surely valid (i.e., with probability 1) in case φ is a flat, S5consistent formula, and show that thes...
متن کاملDistributivity in Incompletely Speciied Type Hierarchies: Theory and Computational Complexity
Type hierarchies are a central feature of current systems which employ feature structures for the representation and manipulation of linguistic knowledge, such as TFS, ALE, CUF, and LKB. The system CUF stands out amongst these in its very general language for describing such hierarchies. While the other systems use a description language which allows only the speci cation of meets (greatest low...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Rocky Mountain Journal of Mathematics
سال: 1978
ISSN: 0035-7596
DOI: 10.1216/rmj-1978-8-3-527